Issue2494-pattern-instance.agda:17,28-32
Blue !=< Red of type Set
when checking that the expression blue has type Red
